honours third year Abstract Algebra cyclic Group